functions of bounded variation real analysis